Nuprl Definition : es-component 11,40
ComponentSpec(A;B) == es:ESAbsInterface(A)AbsInterface(B) 
latex

clarification:

es-component{i:l}(A; B) == es:ES{i}AbsInterface(es;A)AbsInterface(es;B){i} 
latex

DefinitionsES, x:AB(x), AbsInterface(A),
FDL editor aliaseses-component

origin